5. 積と余積